//#include <asm-i386/types.h>
//#include <linux/thread.h>
//#include <linux/syscall.h>
//#include <asm-i386/console.h>
//extern struct pool kernel_pool, user_pool;
//void *syscall_table[32];
//
//uint32_t sys_get_pid(void){
//    return running_thread()->pid;
//}
//
//uint32_t sys_write(char *str){
//    console_put_str(str);
//    return 1;
//}
//
//void syscall_init(void){
//    syscall_table[GETPID] = sys_get_pid;
//    syscall_table[PRINT] = sys_write;
//    syscall_table[MALLOC] = sys_malloc;
//}
//
